1. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
2. A Precis of Mathematical Logic
پدیدآورنده : by J.M. Bocheński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
3. A chance for possibility : an investigation into the grounds of modality
پدیدآورنده : Steinberg, Alexander, 9791-
کتابخانه: (طهران)
موضوع : ، Modality )Logic(,، Possibility,، Realism,، Supervenience )Philosophy(
رده :
BC
199
.
M6S73
4. A companion to philosophical logic /
پدیدآورنده : edited by Dale Jacquette.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Logique.,Logic.,Logica.,Logik,Logique (Philosophie),Logique mathématique.,Logique modale.,Paradoxe.,PHILOSOPHY-- Logic.,Sémantique.
رده :
BC71
.
C65
2002eb
5. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
6. A general interpreted modal calculus
پدیدآورنده : Bressan, Aldo
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Description )Philosophy(,، Evidence
رده :
BC
199
.
M6
.
B73
1972
7. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
8. A prosentential theory of truth /
پدیدآورنده : Dorothy Grover.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and languages-- Philosophy.,Proposition (Logic),Truth.,Language and languages-- Philosophy.,PHILOSOPHY-- Epistemology.,Proposition (Logic),Truth.
رده :
BC171
.
G76
1992eb
9. A treatise on induction and probability /
پدیدآورنده : Geore Henrik von Wright.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Probabilities.,Fundamentos E Calculo (Probabilidade),Logic.,PHILOSOPHY / Logic,Probabilidade (Textos Introdutorios),Probabilities.
رده :
BC91
10. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
11. Abduction in Context
پدیدآورنده : by Woosuk Park,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(
رده :
EBOOK
,
HV
A33
6626
.
2
12. Abductive cognition
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Abduction (Logic) ; Reasoning. ; Science ; Philosophy. ; Wissenschaftstheorie ; Kognitiver Prozess ; Abduktion ; Inferenz ; Kognitive Psychologie. ; swd. ; Schlussfolgern. ; swd. ; Wissenschaftstheorie. ; swd. ; Kognitiver
13. Acceptable premises :
پدیدآورنده : James B. Freeman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Argumentatieleer.,Logic.,Logik,Logique.,PHILOSOPHY-- Logic.,Vooronderstellingen.
رده :
BC71
.
F734
2005eb
14. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
15. Advanced models of cognition for medical training and practice
پدیدآورنده : edited by David A. Evans, Vimla L. Patel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognitive science -- Congresses.,Medical education -- Philosophy -- Congresses.,Medical logic -- Congresses.
رده :
R723
.
E358
1992
16. Advancement of learning; Novum organw; New atlantis
پدیدآورنده :
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)
موضوع : Methodology -- Early works to 0081 ، Science,Early works to 0081 ، Induction )logic(,Early work to 0081 ، Utopias,، Philosophy,، Ethics
رده :
AC1
.
G7
.
1994
vol
.
28
17. Agency and deontic logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Deontic logic. ; Agent (Philosophy) ;
18. Aktive Synthesen:
پدیدآورنده : herausgegeben von Roland Breeur.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Phenomenology.,Philosophy (General)
19. Al-Madkhal Li-Sina at al-mantiq
پدیدآورنده : Abul Hajjaj Yusuf ibn Muhammad ibn Tumlus
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع : Logic,Philosophy, Islamic
رده :
160
I13MT
